More from this Author
Found 13 books by Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
Software Engineering and Formal Methods
by Peter Csaba Ölveczky (Editor), Gwen Salaün (Editor)
Formal Aspects of Component Software
by Kyungmin Bae (Editor), Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
Formal Aspects of Component Software
by Christiano Braga (Editor), Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
Formal Aspects of Component Software
by Farhad Arbab (Editor), Peter Csaba Ölveczky (Editor), Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
Formal Aspects of Component Software
by Christiano Braga (Editor), Peter Csaba Ölveczky (Editor)
Logic, Rewriting, and Concurrency
by Narciso Martí-Oliet (Editor), Peter Csaba Ölveczky (Editor), Carolyn Talcott (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor), Peter Csaba Ölveczky (Editor)
Formal Techniques for Safety-Critical Systems
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor), Peter Csaba Ölveczky (Editor)